"Deepak Kapur" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)

Категория: Компьютеры

11.17 Mb

#2

Computer Mathematics, 8 conf., ASCM 2007

Категория: CsLn_

6.12 Mb

#3

Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

Deepak Kapur

7.52 Mb